1,931 research outputs found
Staying Current in Your Field of Interest: Tips for Aspiring Students as Researchers
Undergraduate students are becoming increasingly involved in research. They already posses the skills required to make meaningful contributions to their field of interest. Some important components of their success relates to a student\u27s ability to stay up to date in the research of their field, and to learn practical skills pertaining to the publishing process. This article hopes to help with this through presenting easy-to-follow summary tables and short paragraphs on tips for success. Topics include staying up to date in a practical way, getting involved, reaching out for help, and publication. For students, by students, this report is relatable to undergraduate students and presented on their level
Push-Pull Block Puzzles are Hard
This paper proves that push-pull block puzzles in 3D are PSPACE-complete to
solve, and push-pull block puzzles in 2D with thin walls are NP-hard to solve,
settling an open question by Zubaran and Ritt. Push-pull block puzzles are a
type of recreational motion planning problem, similar to Sokoban, that involve
moving a `robot' on a square grid with obstacles. The obstacles
cannot be traversed by the robot, but some can be pushed and pulled by the
robot into adjacent squares. Thin walls prevent movement between two adjacent
squares. This work follows in a long line of algorithms and complexity work on
similar problems. The 2D push-pull block puzzle shows up in the video games
Pukoban as well as The Legend of Zelda: A Link to the Past, giving another
proof of hardness for the latter. This variant of block-pushing puzzles is of
particular interest because of its connections to reversibility, since any
action (e.g., push or pull) can be inverted by another valid action (e.g., pull
or push).Comment: Full version of CIAC 2017 paper. 17 page
Vertex Fault Tolerant Additive Spanners
A {\em fault-tolerant} structure for a network is required to continue
functioning following the failure of some of the network's edges or vertices.
In this paper, we address the problem of designing a {\em fault-tolerant}
additive spanner, namely, a subgraph of the network such that
subsequent to the failure of a single vertex, the surviving part of still
contains an \emph{additive} spanner for (the surviving part of) , satisfying
for every
. Recently, the problem of constructing fault-tolerant additive
spanners resilient to the failure of up to \emph{edges} has been considered
by Braunschvig et. al. The problem of handling \emph{vertex} failures was left
open therein. In this paper we develop new techniques for constructing additive
FT-spanners overcoming the failure of a single vertex in the graph. Our first
result is an FT-spanner with additive stretch and
edges. Our second result is an FT-spanner with additive stretch and
edges. The construction algorithm consists of two main
components: (a) constructing an FT-clustering graph and (b) applying a modified
path-buying procedure suitably adopted to failure prone settings. Finally, we
also describe two constructions for {\em fault-tolerant multi-source additive
spanners}, aiming to guarantee a bounded additive stretch following a vertex
failure, for every pair of vertices in for a given subset of
sources . The additive stretch bounds of our constructions are 4
and 8 (using a different number of edges)
Stability of Relativistic Matter with Magnetic Fields for Nuclear Charges up to the Critical Value
We give a proof of stability of relativistic matter with magnetic fields all
the way up to the critical value of the nuclear charge .Comment: LaTeX2e, 12 page
Minimum and maximum against k lies
A neat 1972 result of Pohl asserts that [3n/2]-2 comparisons are sufficient,
and also necessary in the worst case, for finding both the minimum and the
maximum of an n-element totally ordered set. The set is accessed via an oracle
for pairwise comparisons. More recently, the problem has been studied in the
context of the Renyi-Ulam liar games, where the oracle may give up to k false
answers. For large k, an upper bound due to Aigner shows that (k+O(\sqrt{k}))n
comparisons suffice. We improve on this by providing an algorithm with at most
(k+1+C)n+O(k^3) comparisons for some constant C. The known lower bounds are of
the form (k+1+c_k)n-D, for some constant D, where c_0=0.5, c_1=23/32=0.71875,
and c_k=\Omega(2^{-5k/4}) as k goes to infinity.Comment: 11 pages, 3 figure
LaserTank is NP-complete
We show that the classical game LaserTank is -complete, even
when the tank movement is restricted to a single column and the only blocks
appearing on the board are mirrors and solid blocks. We show this by reducing
-SAT instances to LaserTank puzzles.Comment: 5 page
Multi-Choice Minority Game
The generalization of the problem of adaptive competition, known as the
minority game, to the case of possible choices for each player is
addressed, and applied to a system of interacting perceptrons with input and
output units of the type of -states Potts-spins. An optimal solution of this
minority game as well as the dynamic evolution of the adaptive strategies of
the players are solved analytically for a general and compared with
numerical simulations.Comment: 5 pages, 2 figures, reorganized and clarifie
The dynamics of proving uncolourability of large random graphs I. Symmetric Colouring Heuristic
We study the dynamics of a backtracking procedure capable of proving
uncolourability of graphs, and calculate its average running time T for sparse
random graphs, as a function of the average degree c and the number of vertices
N. The analysis is carried out by mapping the history of the search process
onto an out-of-equilibrium (multi-dimensional) surface growth problem. The
growth exponent of the average running time is quantitatively predicted, in
agreement with simulations.Comment: 5 figure
- …